Nuprl Definition : fifoReceiver
11,40
postcript
pdf
ff
.Receiver == (TERMOF{
fifoReceiver-exists
:ObjectId, 1:l, i:l}(
es
,
ff
)).1
latex
clarification:
fifoReceiver{i:l}(
es
;
ff
) == (TERMOF{
fifoReceiver-exists
:ObjectId, 1:l, i:l}(
es
,
ff
)).1
latex
Definitions
t
.1
,
f
(
a
)
,
fifoReceiver-exists
FDL editor aliases
fifoReceiver
origin